Search results for "Object language"

Inductive synthesis of dot expressions

2005

We consider the problem of the synthesis of algorithms by sample computations. We introduce a formal language, namely, the so-called dot expressions, which is based on a formalization of the intuitive notion of ellipsis (‘...’). Whilst formally the dot expressions are simply a language describing sets of words, on the other hand, it can be considered as a programming language supporting quite a wide class of programs. Equivalence and asymptotical equivalence of dot expressions are defined and proved to be decidable. A formal example of a dot expression is defined in the way that, actually, it represents a sample computation of the program presented by the given dot expression. A system of s…

Elements of Language Theory

1988

In this chapter we shall review the mathematical and computer science background on which the presentation in this book is based. We shall discuss the elements of discrete mathematics and formal language theory, emphasizing those issues that are of importance from the point of view of context-free parsing. We shall devote a considerable part of this chapter to matters such as random access machines and computational complexity. These will be relevant later when we derive efficient algorithms for parsing theoretic problems or prove lower bounds for the complexity of these problems. In this chapter we shall also discuss a general class of formal language descriptors called “rewriting systems”…

Ordinal mind change complexity of language identification

1997

The approach of ordinal mind change complexity, introduced by Freivalds and Smith, uses constructive ordinals to bound the number of mind changes made by a learning machine. This approach provides a measure of the extent to which a learning machine has to keep revising its estimate of the number of mind changes it will make before converging to a correct hypothesis for languages in the class being learned. Recently, this measure, which also suggests the difficulty of learning a class of languages, has been used to analyze the learnability of rich classes of languages. Jain and Sharma have shown that the ordinal mind change complexity for identification from positive data of languages formed…

Towards Diagrammatic Patterns

2008

This article presents the idea that the graphical representation (concrete syntax) of a visual language can be specified based on some pre-defined diagrammatic patterns. A diagram from the Specification and Description Language (SDL) is used as illustration.

LCL - A Graphical Meta-Language for Specification of Language Constraints

2015

The Object Constraint Language (OCL) is commonly used for constraints in meta-model-based language specifications. However, it may be advantageous to have a domain-specific constraint meta-language optimised for language specifications. A survey of OCL usage in language specifications has been performed, in order to gain an understanding of common constraint patterns. This is used as a starting point for defining a new meta-language for language constraints, Language Constraint Language (LCL), that has an intuitive graphical syntax.

A syntax controlled generator of formal language processors

1963

Extending formal language hierarchies to higher dimensions

1999

Implications of Theories of Language for Information Systems

1985

This article demonstrates how language views can be adopted into an information systems context. We distinguish here between five language views: denotational, generative, cognitive, behavioristic, and interactionist. These views differ in their assumptions about he origin of linguistic behavior, the primary functions of language, elements of language, and the nature of linguistic knowledge. Information system development approaches can be characterized by their underlying language views. This explains great differences in development methods and research. Thus, language views have implications and should be chosen continency for a given information system context.

From a bodily-based format of knowledge to symbols. The evolution of human language

2013

Although ontogeny cannot recapitulate phylogeny, a two-level model of the acquisition of language will be here proposed and its implication for the evolution of the faculty of language will be discussed. It is here proposed that the identification of the cognitive requirements of language during ontogeny could help us in the task of identifying the phylogenetic achievements that concurred, at some point, to the acquisition of language during phylogeny. In this model speaking will be considered as a complex ability that arises in two different steps. The first step of competence widely relies on a bodily-based format of knowledge. The second step relies on more abstract meta-representations …

Is mathematics syntax of language?, II

1995

Around 1930 R. Carnap, H. Hahn and M. Schlick,1 largely under the influence of L. Wittgenstein, developed a conception of the nature of mathematics2 which can be characterized as being a combination of nominalism and conventionalism and which had been foreshadowed in Schlick’s doctrine about implicit definitions.3 Its main objective, according to Hahn and Schlick,4 was to conciliate strict empiricism5 with the a priori certainty of mathematics. According to this conception (which, in the sequel, I shall call the syntactical viewpoint) mathematics can completely be reduced to (or replaced by) syntax of language.6 I.e. the validity of mathematical propositions consists solely in their being c…